9

Sequent calculus for 3-valued paraconsistent logic QMPT0

Year:
2019
Language:
english
File:
PDF, 454 KB
english, 2019